DFTRES

Benchmark

Model:	hecs v.1 (MA)
Parameter(s)	R = False, N = 2, k = 2
Property:	Unreliability (prob-reach-time-bounded)

Invocation (default)

java -Xmx6G -XX:+UseParallelGC -jar DFTRES/DFTRES.jar -s 0 --prop Unreliability  --def R False --def N 2 --def k 2 --relErr 0.05  hecs.false-2-2.jani

Execution

Walltime:	7.480714559555054s
Return code:	0
Relative Error:	0.0026414314255887037

Log

Total time: 7.212 s.
Property Unreliability:
point estimate: 2.205569606799616E-4,
var: 1.3590743562772594E-7,
CI: [2.186500634396416E-4, 2.2246385792028158E-4] = 2.205569606799616E-4 +/- 1.9068972403199968E-6